Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
401	Microsoft Word - Devt11.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:28:28 Cybernetics Software requirements Systems engineering Water transport infrastructure Mining equipment Sluice Gate Domain-specific language Formal specification Software development Technology Science
402	BRICS Basic Research in Computer Science BRICS RSAger et al.: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluatio On Obtaining Knuth, Morris, and Pratt’s Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-12 05:12:36 Formal languages String matching algorithms Logic in computer science Programming language semantics Donald Knuth Knuth–Morris–Pratt algorithm String Algorithm Functional programming Mathematics Theoretical computer science Computing
403	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
404	edition 3 / JUNEE T A D Add to Reading List Source URL: www.dynelytics.com Language: English - Date: 2013-06-01 05:19:07 Data management Formal sciences Data analysis SPSS Natural language processing Text mining ADAPA Data mining Analytics Statistics Business intelligence Science
405	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:05 Number Recursive transition network Truthiness Formal grammar 0.999... Regular expression Backus–Naur Form Formal languages Mathematics Combinatorics
406	Where, Exactly, Is Software Development? Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-12-15 08:01:26 Abstraction Formal sciences Software requirements Formal methods System Computing Requirement Domain-specific language Logic Science Software development Knowledge
407	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Yasumasa.Nakatsugawa Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:57 Specification language Functional specification Formal language Mathematics Applied mathematics Vienna Development Method Software development FeliCa
408	Contents Lang101 Workbook – User’s Guide .......................................................................v Exercises & Activities Add to Reading List Source URL: www.lang101.com Language: English - Date: 2012-04-03 03:28:35 Language Grammar Knowledge Linguistics Formal language Science Academia Human communication
409	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
410	A Framework for RAD Spirit Programs = Algorithms + Data Structures Joel de Guzman () Hartmut Kaiser () Add to Reading List Source URL: boost-spirit.com Language: English - Date: 2010-11-03 20:38:48 Compiler construction Formal languages Parsing Compiling tools Recursive descent parser Top-down parsing Compiler-compiler Lexical analysis Formal grammar Programming language implementation Software Computing

UPDATE